body {
    font-size: medium;
    font-family: sans-serif;
}
div#wikicontent {
    border-top: 1px solid gray;
    border-bottom: 1px solid gray;
    margin-bottom: 1em;
    padding-bottom: 1em;
    padding-top: 1em;
    width: 42em;
    float: left;
}
ins {
    text-decoration: none;
    background-color: yellow; 
}
del {
    text-decoration: line-through;
}
div#wikibuttons {
    float: left;
    margin-left: 1em;
}
#wikibuttons ul {
}
#wikibuttons ul li {    
    list-style: none;
    padding-bottom: 0.2em; 
}

